From: Owen W. Taylor <otaylor@fishsoup.net>
Date: Fri, 25 Mar 2011 22:40:38 +0000 (-0400)
Subject: popupMenu: round spacing to an integer
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~8468
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=3bbdecc6b328d7988a488f0e78af1ee1822e2d76;p=gnome-shell.git

popupMenu: round spacing to an integer

StThemeNode.get_length() doesn't necessarily return an integer pixel
value, and our code produces non-integer positions in that case. So
round the spacing.

https://bugzilla.gnome.org/show_bug.cgi?id=645647
---

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index fc6140569..99e7a336d 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -61,7 +61,7 @@ PopupBaseMenuItem.prototype = {
     },
 
     _onStyleChanged: function (actor) {
-        this._spacing = actor.get_theme_node().get_length('spacing');
+        this._spacing = Math.round(actor.get_theme_node().get_length('spacing'));
     },
 
     _onButtonReleaseEvent: function (actor, event) {